Buy Used and New Francesco Logozzo Books

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, ... Computer Science and General Issues)

by

ISBN 13: 9783540781622

Format: Paperback (325 pages)
Publisher: Springer
Published: 26 Feb 2008

Save for later

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Lecture Notes in Computer Science)

by Francesco Logozzo,Manuel Fähndrich

ISBN 13: 9783642388552

Format: Paperback (512 pages)
Publisher: Springer
Published: 06 Jun 2013

Save for later